5. A Course on Mathematical Logi
پدیدآورنده: / by Shashi Mohan Srivastava
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
6. Alan Turing :
پدیدآورنده: edited by S. Barry Cooper and Jan van Leeuwen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography
رده :
QA29
.
T8
C65
2013
8. BL,BL
پدیدآورنده: / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
9. Foundations of Logic and Mathematics
پدیدآورنده: by Yves Nievergelt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data encryption (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Number theory.
10. Foundations of logic and mathematics
پدیدآورنده: / Yves Nievergelt
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical,Set theory,Number theory,Computer science -- Mathematics
رده :
QA
9
.
N53
2002
11. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده: Yves Nievergelt
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science
رده :
QA
9
.
N5
12. Foundations of logic and mathematics: applications to computer science and cryptography
پدیدآورنده: Nievergelt, Yves
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
رده :
QA
9
.
N53
2002
13. Fuzzy Databases :
پدیدآورنده: by Frederick E. Petry.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.,Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.
رده :
QA8
.
9-10
.
3
